
void main() {
	/* Do nothing */
}
